x86: i8254 device model is shared between PV and HVM guests, so must
authorKeir Fraser <keir.fraser@citrix.com>
Fri, 30 May 2008 18:31:18 +0000 (19:31 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Fri, 30 May 2008 18:31:18 +0000 (19:31 +0100)
commit5024576315ef4c1629510efe73ef777ef0868ec7
treefd614f2a83ca1b18b8d61467bca99a3d08e9a8a2
parent8d4e5d626a533220ecf66b6fe88e2179a42d6b48
x86: i8254 device model is shared between PV and HVM guests, so must
take care not to run hvm_get_guest_time() on a PV VCPU. The spinlock
is not initialised and spin_lock() can thus spin forever.
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
xen/arch/x86/hvm/i8254.c
xen/arch/x86/hvm/vpt.c